package BitSet;

import instrumentation.TrackerCoverage;

class BitSetDemo { 
	public static TrackerCoverage track=  TrackerCoverage.getTracker();
public static void main(String args[]) throws ClassNotFoundException{
////	System.out.println(" Start Main");
//	  java.lang.Character char_0, char_1;
//	   java.lang.String String_0, String_1;
//	   java.util.Locale Locale_0 = new java.util.Locale("vWf","w");
//	   java.util.Locale Locale_1 = new java.util.Locale("","","");
////	    org.joda.time.format.DateTimeFormat.mediumDateTime();  org.joda.time.format.DateTimeFormat.mediumTime(); 
////	    org.joda.time.format.DateTimeFormat.fullDate();  org.joda.time.format.DateTimeFormat.longDateTime();  org.joda.time.format.DateTimeFormat.mediumDate();  shortTime();  shortTime();  longDateTime();  mediumTime();  mediumDate();  mediumDate();  
////	    forStyle("");  forStyle("");  longTime();  longDateTime();  fullDateTime();  patternForStyle("qP", Locale_0);  
///*	    org.joda.time.format.DateTimeFormat.patternForStyle("SM", Locale_1);
//	    org.joda.time.format.DateTimeFormat.patternForStyle("SM", Locale_1);
//*/	    org.joda.time.format.DateTimeFormat.patternForStyle("L!", Locale_1);
//	    //	   		  System.out.print(track.toString());
////	   		  System.out.print(track.toString());
//////			 System.out.println(track.getConditionTargetId(100));
//			 System.out.println(track.displayCondition());
//			 track.reset(); 
//			 
//			   System.exit(0);;
/* BR107	BitSet BitSet_0 = new BitSet();
	BitSet BitSet_1 = new BitSet();
	java.lang.Integer int_0, int_1;
	 java.lang.String java_lang_String_0, java_lang_String_1;
	 java.lang.Boolean boolean_0, boolean_1;

//	  BitSet_1.set(119, true);
//	  BitSet_1.set(127); 
//
//	  BitSet_1.toString();
*/	 

//	int r=0& 63;
//	System.out.println(" org.joda.time.format.DateTimeFormat.fromIndex & BIT_INDEX_MASK ="+ r );
	//System.exit(0);;
	//BR 81

//	BitSet BitSet_1 = new BitSet(129);
//	BitSet BitSet_0 = new BitSet(10);
//	java.lang.String String_0, String_1;
//	 int int_0, int_1;
//	 boolean boolean_0, boolean_1;
//
//	  BitSet_1.clear(); BitSet_1.andNot(BitSet_1); 
//	  BitSet_0.nextClearBit(-3);
//	  BitSet_1.clear(7); 
//	  BitSet_0.equals(false);
//	  BitSet_1.or(BitSet_0); BitSet_0.set(11);


	BitSet BitSet_1 = new BitSet();
	BitSet BitSet_0 = new BitSet();
	boolean boolean_0, boolean_1;
	 java.lang.String String_0, String_1;
	 int int_0, int_1;
//	   BitSet_1.xor(BitSet_0); BitSet_0.clone(); 
//	 BitSet_0.set(38, 960); //BitSet_1.cardinality(); BitSet_1.nextClearBit(-438); BitSet_1.set(-886, 510, true); 
	//   BitSet_0.get(967);
//	   BitSet_0.nextClearBit(860);

		   BitSet_1.flip(58, 960); 
	//	   BitSet_1.set(38, 960);
		 //  BitSet_1.nextClearBit(10);
		   BitSet_1.toString();  
	   
	   //  BitSet_0.set(268); //BitSet_1.set(290, false); BitSet_1.set(290, false); BitSet_1.isEmpty(); BitSet_1.isEmpty();
	   //BitSet_0.length(); BitSet_0.length(); BitSet_0.equals(207); BitSet_0.equals(207); BitSet_1.or(BitSet_1); BitSet_1.or(BitSet_1);

//	   BitSet_0.flip(184); 
	   BitSet_0.set(0, 0,false);// BitSet_0.get(49, 290);

	// BitSet_1.get(110, 126); BitSet_0.clone();
	  System.out.print(track.toString());
//	 System.out.println(track.getConditionTargetId(100));
	 System.out.println(track.displayCondition());
	 track.reset(); 

//	 //var0.set(1,2) var0.cardinality() var0.or(var0) 
//	 BitSet var1= new BitSet(2) ;
//	 var0.equals(var1);
//	 var0.set(18,true);
//	 var0.set(12); var0.clear(5,15); var0.isEmpty();

} 
}